Transcendence bases, well-orderings of the reals and the axiom of choice
نویسندگان
چکیده
منابع مشابه
Bounded Proper Forcing Axiom and Well Orderings of the Reals
We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(ω1) which is ∆1 definable with parameter a subset of ω1. Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes א2 and also satisfies BPFA must contain all subsets of ω1. We show as applications how to build minimal models of BPFA and that BPFA implies t...
متن کاملFormalised Set Theory: Well-Orderings and the Axiom of Choice
In this thesis, we give a substantial formalisation of classical set theory in the proof system Coq. We assume an axiomatisation of ZF and present a development of the theory containing relations, functions and ordinals. The implementation follows the structure of standard text books. In the context of this theory, we prove Zermelo’s Well-Ordering Theorem and the Axiom of Choice equivalent. In ...
متن کاملThe Bounded Proper Forcing Axiom and Well Orderings of the Reals
We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(ω1) which is Δ1 definable with parameter a subset of ω1. Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes א2 and also satisfies BPFA must contain all subsets of ω1. We show as applications how to build minimal models of BPFA and that BPFA implies t...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولthe survey of the virtual higher education in iran and the ways of its development and improvement
این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2020
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/15242